Index
A B C D E F G H I K L M N O P R S T U V W Y Z
All Classes All Packages
All Classes All Packages
All Classes All Packages
U
- unifier - Variable in class edu.uky.ai.lp.ai.Prover
-
The unifier as it stands before the proof begins
- Unifier - Class in edu.uky.ai.lp.logic
-
A unifier tracks which variable are equal to one another and which variable are equal to constants.
- Unifier() - Constructor for class edu.uky.ai.lp.logic.Unifier
-
Constructs an empty unifier.
- unify(Formula, Unifier) - Method in class edu.uky.ai.lp.logic.BooleanExpression
- unify(Formula, Unifier) - Method in class edu.uky.ai.lp.logic.Constant
- unify(Formula, Unifier) - Method in class edu.uky.ai.lp.logic.Fact
- unify(Formula, Unifier) - Method in interface edu.uky.ai.lp.logic.Formula
-
Unify this formula with another formula, adding to a given unifier as needed to make the two expression the same.
- unify(Formula, Unifier) - Method in class edu.uky.ai.lp.logic.Variable
- UP - edu.uky.ai.lp.Action
All Classes All Packages